Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
81	Analyzing proofs in analysis∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, D–60054 Frankfurt am Main, Germany 1 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:27 Logic Mathematics Mathematical analysis Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory operator Spectral theory of ordinary differential equations
82	École Doctorale de l’École polytechnique I NRIA THÈSE DE DOCTORAT Présentée par Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-10-28 05:35:30 Mathematical logic Mathematics Logic Boolean algebra First-order logic Propositional calculus FO Quantifier Boolean satisfiability problem True quantified Boolean formula Model theory Peano axioms
83	Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Elimination of Skolem functions for monotone formulas in analysis Ulrich Kohlenbach Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:33:24 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Constructible universe
84	M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland, Add to Reading List Source URL: www.mizar.org Language: English - Date: 2005-07-20 17:21:01 Logic Abstraction Mathematical logic Quantification Propositional calculus Predicate logic Semantics Quantifier Universal quantification Proposition FO Model theory
85	Fall 2014 Undergraduate Philosophy Department Courses PHIL-UA 1; Central Problems in Philosophy; M/W 9:30-10:45; James Pryor http://intro.jimpryor.net This course is an introduction to the methods of contemporary philoso Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-30 22:55:28 Logic Philosophy Mathematical logic Philosophical logic Non-classical logic Branches of philosophy Model theory Modal logic Saul Kripke First-order logic Propositional calculus Epistemic modal logic
86	MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1 Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:31 Proof theory Sequent calculus Sequent First-order logic Propositional calculus Intuitionistic logic Many-valued logic Cut-elimination theorem Method of analytic tableaux Mathematical logic Rule of inference Boolean algebra
87	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
88	Simulating non-prenex cuts in quantified propositional calculus Emil Jeˇr´abek∗ Phuong Nguyen† May 2, 2011 Add to Reading List Source URL: users.math.cas.cz Language: English - Date: 2011-05-02 06:14:06
89	Aristotle, Boole, and Categories Vaughan Pratt October 12, 2015 Abstract We propose new axiomatizations of the 24 assertoric syllogisms of Arisn totle’s syllogistic, and the 22 n-ary operations of Boole’s algebraic l Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-10-12 12:39:56 Logic Classical logic Arguments Term logic Syllogism Rules of inference Propositional calculus Axiom Hypothetical syllogism Disjunctive syllogism Inference First-order logic
90	Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3 Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-31 07:08:31 Logic Mathematical logic Philosophy Model theory Formal languages Logical truth Propositional calculus Linear temporal logic Temporal logic Interpretation Substitution operator

UPDATE